perm filename SUAI.TXT[NET,MRC]4 blob
sn#358542 filedate 1978-05-29 generic text, type T, neo UTF8
(SU-AI) STANFORD UNIVERSITY
ARTIFICIAL INTELLIGENCE LABORATORY
(FUNCTION)
SERVER COMPUTER: KL-10 HOST ADDR 11 IMP 11/HOST 0
Primarily an artificial intelligence research facility.
(ADDRESS)
Stanford University
Artificial Intelligence Laboratory
Stanford, California 94305
(415) 497-4971
(PERSONNEL)
DIRECTOR
John McCarthy (JMC@SU-AI) (415) 497-4430
LIAISON
Mark Crispin (MRC@SU-AI) (415) 497-4712
ACCOUNTS
Les Earnest (LES@SU-AI) (415) 497-4202
SOFTWARE-CONTACTS
Mark Crispin (MRC@SU-AI) (415) 497-4712
Brian Harvey (BH@SU-AI) (415) 497-4971
HARDWARE-CONTACT
Edward F. Panofsky (TED@SU-AI) (415) 497-4971
OPERATOR
None. The computer room phone number is (415) 497-4975;
however, it is normally unattended. The general lab
phone number is (415) 497-4971; people can be paged.
(ACCOUNTING)
There is no guest account at SU-AI. Network users without
accounts who want to use this system can use the MAIL
command without login to communicate with us, as explained
below. Since the system is chronically overloaded, outside
accounts are provided only for projects in which we have a
direct interest.
An account request should be sent to LES@SU-AI, covering the
following points:
1. A brief description of your project and its goals,
2. Expected duration of the project,
3. Proposed account designation (e.g. "1,XYZ", where both
the project designation, "1" in the example, and
programmer initials, "XYZ", may be up to 3 letters).
NOTE: To check whether your initials have been used,
give the system command "FINGER XYZ". If the initials
are not in use, this will say "UNKNOWN".
Project "1" is the most popular "project", since it is
normally the "master" account for a user. Also, LOGIN
defaults to project 1, so "LOGIN MRC" is equivalent to
logging in as project 1, programmer MRC.
4. Your network mail or ordinary mail address.
SU-AI does not sell computer time.
(SERVICE-SCHEDULE)
SU-AI is available to users 24 hours daily except for
occasional systems work, which is usually held on
weekdays between 1700-2000 PST.
TYPICAL LOAD = 45 users
MAX. NO. USERS = 63 jobs combined local and network
NO. NETWORK SLOTS - 20 pseudo-terminals maximum
(LOGIN)
TELNET INFO:
. Appropriate transmission mode = character-at-a-time
. Appropriate echo mode = remote echoing
. Monitor commands to declare terminal type:
[.]tty <SP> arrow <CR>
The system should print control characters as uparrow
followed by the character plus 100 (octal). Ignored on
Datamedias.
[.]tty <SP> no <SP> arrow <CR>
The system should output control codes as themselves.
[.]tty <SP> convert <CR>
The terminal is an ASCII-68 terminal (altmode is on 033 octal)
and character set conversion should be done between ASCII-68
and Stanford-ASCII (an extension of ASCII-63).
[.]tty <SP> no <SP> convert <CR>
The terminal is a Stanford-ASCII or ASCII-63 terminal and does
not require character set conversion. Many teletypes are like
this and if altmode doesn't work this command should be tried.
[.]tty <SP> echo <CR>
The system is to echo user type-in.
[.]tty <SP> no <SP> echo <CR>
The system is not to echo user type-in.
[.]tty <SP> fill <CR>
The system should insert fill characters after CR's. Ignored
on Datamedias.
[.]tty <SP> no <SP> fill <CR>
The system should not send fill characters.
[.]tty <SP> full <CR>
The system should accept and output lower case.
[.]tty <SP> no <SP> full <CR>
The system should convert lower case to upper case.
[.]tty <SP> glass <CR>
The terminal is a video terminal which can erase a character
by backspacing and overstriking with a space. Ignored on
Datamedias.
[.]tty <SP> no <SP> glass <CR>
The terminal is a printing terminal or otherwise cannot erase
in the "glass teletype" manner.
[.]tty <SP> tabs <CR>
The terminal has hardware tabs every 8 print positions or is
a Datamedia with settable tabs.
[.]tty <SP> no <SP> tabs <CR>
The system converts tabs to the correct number of spaces.
[.]tty <SP> width <SP> LINE-WIDTH <CR>
The system should output a carriage return if more
characters than the specified width are output. Ignored
on Datamedias.
Initial settings for network connections:
ARROW, CONVERT, ECHO, NO FILL, FULL, NO GLASS, NO TABS, WIDTH 80
(NOTE: the echoing state can be controlled by TELNET
control codes as well as by the TTY ECHO command. The
TELNET protocol requires an initial assumption of half-
duplex but our server switches the connection to full-
duplex if possible.)
The following commands only apply to Datamedia 2500 displays:
[.]tty <SP> dm <SP> SCREEN-HEIGHT <CR>
Declare the terminal to be a Datamedia 2500 display terminal.
The screen height defaults to 24 lines. DMness cannot be
turned off at present.
[.]tty <SP> dm128 <SP> SCREEN-HEIGHT <CR>
Declare the terminal to be a Datamedia display with the full
Stanford extended ASCII character set.
[.]tty <SP> blink <CR>
The system should indicate the line editor on Datamedias by
blinking (bold on Stanford DM's).
[.]tty <SP> no <SP> blink <CR>
The system has no special indication for the line editor.
[.]tty <SP> bs <CR>
The system assumes 177 outputs as a rectangle.
[.]tty <SP> no <SP> bs <CR>
The system assumes 177 is not a printing character.
Datamedia users should give the TIP command @B I S after
declaring their terminal to be a Datamedia to allow the EDIT key
to work. Some Tenex TELNETs will work on Datamedias provided
the user specifies "transparent mode". Only NEW protocol TELNET
will work on Datamedias.
LOGIN:
Connect to SU-AI, then type:
[SU A.I. Lab KL-10]
[.]login <SP> PRJ,PRG <CR>
(where PRJ = Project No., and PRG = Userid,
each limited to 3 letters)
[Job NN WAITS SYSTEM-VERSION]
[Password=] PASSWORD <CR>
[DAY DATE TIME TEMPF TEMPC]
[SYSTEM-MESSAGES]
[Exit]
[↑C]
[.]
SUBSYSTEM INTERRUPT = CONTROL-C CONTROL-C. A single CONTROL-C
returns to command level when the user program requests typein.
CONTROL-C does not abort output; CONTROL-O must be used for this
purpose.
SUBSYSTEM CONTINUE = [.]continue <CR>
(LOGOUT)
LOGOUT:
CONTROL-C CONTROL-C (returns to the monitor command processor)
[.]kjob <CR>
[Job NN PRJ,PRJ Logged off TTY NNN TIME DATE]
[N.NN hours, console time]
[N.NN minutes, cpu time]
[N.NN Pages average core]
[Kjob]
AUTOLOGOUT:
Jobs will be logged out after one-half hour idle (10 AM - 6 PM)
or one hour idle (6 PM - 10 AM).
Breaking the network connection detaches the job, which will be
autologged out if not attached back.
If a network port is idle for one minute with no job on it, the
network connection is automatically closed (this isn't for any
bureaucratic nastiness--it provides the only way that Datamedia
users can re-use their TIP port after they are finished with
SAIL without hanging up the phone).
(CONTROL-CHARACTERS)
Note: Stanford display terminals (including Datamedias declared
as such with TTY DM) have different conventions. The online
file DM.ME[UP,DOC] explains how to use Datamedias in display
mode.
The system control characters are listed below:
Toggle output holding CONTROL-B
Stop program CONTROL-C CONTROL-C
Deferred stop program CONTROL-C
Toggle abort output CONTROL-O
Delete input line CONTROL-U
Extended command CONTROL-← (where ← is underscore)
Delete last character RUBOUT
The extended command character CONTROL-← is also used as a
quote for any of the system control characters; for example,
CONTROL-← CONTROL-C sends a CONTROL-C to the user program
instead of interrupting it.
The extended commands are listed below. Some of them take an
argument, which defaults to 1. Either a positive or negative
number may be typed as an argument, which is entered between
the CONTROL-← and the command character. For example, to delete
the last three words, one can do CONTROL-← 3 CONTROL-W. An
example of a negative argument is to disable TTY FULL mode, which
is done by CONTROL-← - F.
Delete last word CONTROL-← CONTROL-W
Add 200 bit to next chr CONTROL-← C
Add 600 bits CONTROL-← D
TTY FULL CONTROL-← F
Hide terminal output CONTROL-← H
Program interrupt CONTROL-← I
Delete to character CONTROL-← L char
Add 400 bit to next chr CONTROL-← M
No-op (cancel entry) CONTROL-← N
Retype input line CONTROL-← R
Type job status CONTROL-← W
Type list of open files CONTROL-← V
Zero XTIME after IOWQ CONTROL-← X (negative means never zero)
Zero XTIME now CONTROL-← 1 X (negative means set to RTIME)
Show next open file CONTROL-← 2 X
Automatically beep CONTROL-← Z (negative means disable beeping)
Notes on extended commands:
Extended commands are a relatively recently added feature to our
system. Consequently this list may be incomplete. Refer to the
online system documentation for more information.
The 200 and 400 bits on a character are the "bucky bits" in the
Stanford 9-bit character set, which our display terminals use.
It is related to MIT's character set as described in RFC 734,
SUPDUP protocol. The 200 bit is called CONTROL, the 400 bit
META, and both together are called CONTROL-META or "double
bucky". Several programs, such as E, use bucky bits to modify
the effect of the character typed. Note that Stanford CONTROL
has no relation to ASCII CONTROL.
Hiding on non-displays only affects spying on another user; it
requires a confirmation before spying on a hidden user and will
inform the spied-upon user when this happens.
Program interrupt sends a special software interrupt to a program
if it enables for this interrupt. Otherwise it does nothing. For
example, program interrupt aborts a search in E, the standard text
editor.
Another way to obtain job status is with the TTY WHO monitor
command. CONTROL-← 0 W gives a one-line system status summary,
CONTROL-← n W gives a status line of job n.
XTIME refers to one of the fields in the status summary; see the
monitor manual under "who-line" for more information.
Another way to obtain files information is with the FILES monitor
command.
(HELP)
To read the online help files, type:
[.]help <CR> or [.]help <SP> TOPIC <CR>
(NETWORK-COMMANDS)
(LIST-ACTIVE-USERS)
[.]who <CR> gives job-status information (jobname,
size, queue, ...)
[.]finger <CR> gives human-oriented information (full
name, physical location, ...)
[.]where <CR> gives job-status information, much like
that from TENEX SYSTAT.
(NETWORK-STATUS)
To see a detailed status of all network connections type:
[.]r <SP> impstat <CR>
To see the status (up or down) of all hosts on the ARPAnet:
[.]r <SP> hostat <CR>
To see NCP performance and error statistics:
[.]r <SP> netstat <CR>
(SEND-MESSAGE-TO-ACTIVE-USERS)
To send a message to a logged-in user, type:
[.]send <SP> RECIPIENT-ID <SP>...MESSAGE...<CR>
for a one-line message, or:
[.]send <SP> RECIPIENT-ID <CR>
[Type message followed by <CTRL>Z]
...MESSAGE...<CR>
...MORE MESSAGE...CONTROL-Z
for a multi-line message. "ID" may be the recipient's
programmer ID or real name. Recipient-id's may be network
addresses, in the form USER-ID % HOST.
(LINK-TO-ACTIVE-USERS)
To link to another terminal, type:
[.]talk <SP> RECIPIENT-ID <CR>
It is considered to be polite to use SEND and let the other
person link back rather than linking without warning.
Recepient-id's may be network addresses, in the form
USER-ID % HOST, or a local programmer name or TTY number.
(SEND-MAIL)
[.]mail <SP> RECIPIENT-ID <SP>...MESSAGE...<CR>
for a one-line message, or:
[.]mail <SP> RECIPIENT-ID <CR>
[Type message followed by <CTRL>Z]
...MESSAGE...<CR>
...MESSAGE...CONTROL-Z
for a multi-line message.
To send a message to a logged-in user's terminal immediately,
use the command SEND in the formats above instead of MAIL.
Recepient-id's may be network addresses, in the form
USER-ID % HOST.
(RETRIEVE-MESSAGE)
Login, and type:
[.]rcv <CR>
(TALK-TO-OPERATOR)
There is no operator on this system. The best way to obtain
assistance is to try to find a knowledgable user. Most users
are willing to help (or find a "wizard" who can help) if
asked. The software contacts listed on the first page of this
write-up are a good place to start in looking for people who
can help you (or to send mail to if nobody online can help you).
(PROTOCOLS)
(SERVER)
Network Server Protocols currently implemented are:
(note all socket numbers are octal)
1. TELNET (new (socket 27) and old (socket 1) protocols)
2. SUPDUP (socket 137)
3. Network Graphics (socket 51, new TELNET protocol)
4. FTP (socket 3, old protocol)
5. FINGER (socket 117)
6. RS EXEC subset (socket 365)
7. Time Server (socket 45)
8. Systat (socket 13)
9. Echo (socket 7)
10. Day/time string (socket 15)
11. Network status (socket 17)
12. Text (socket 21)
13. RS EXEC load average poll (socket 371)
14. Discard (socket 11)
(USER)
User Protocols currently implemented are:
1. TELNET (new protocol)
[.]telnet <SP> HOST-NAME (or OCTAL-HOST-NUMBER) <CR>
(tn is legal as an abbreviation)
2. TELNET (old protocol)
[.]otn <SP> HOST-NAME (or OCTAL-HOST-NUMBER) <CR>
3. SUPDUP
[.]supdup <SP> HOST-NAME <CR>
(sd is legal as an abbreviation)
4. FTP (old protocol)
[.]ftp <SP> HOST-NAME <CR>
5. FINGER
[.]finger <SP> USER-ID % HOST-NAME <CR>
6. MAIL
[.]mail <SP> USER-ID % HOST-NAME <CR>
7. SEND
[.]send <SP> USER-ID % HOST-NAME <CR>
8. TALK (network link)
[.]talk <SP> USER-ID % HOST-NAME <CR>
9. WHO (network who-is-on)
[.]who <SP> % HOST-NAME
10. TIMES (network standard time)
[.]r <SP> times <CR>
11. HOSTAT (host status)
[.]r <SP> hostat <CR>
12. SURVEY (host/socket status, the hard way)
[.]r <SP> survey <CR>
[Socket?] OCTAL-SOCKET-NUMBER <CR>
13. DFTP (Datacomputer File Transfer Program)
[.]r <SP> dftp <CR>
14. DCSTAT (Datacomputer status)
[.]r <SP> dcstat <CR>
15. TELGRF (NGP user, runs only on local III displays)
[.]r <SP> telgrf <CR>
[Host=] HOST-NAME <CR>
16. DDHACK (private display TELNET, runs only on local DD displays)
[.]r <SP> ddhack <CR>
[Host?] HOST-NAME <CR>
17. RSEXEC (connects to TIP RS EXEC server)
[.]r <SP> rsexec <CR>
(NCP-INTERFACE-FROM-LOCAL-PROGRAMS)
See UUO manual. The recommended way for user programs to
interface with the ARPAnet is via the NETWRK package. Two
versions of this package exist, for the FAIL and MIDAS
assemblers. Among other things, NETWRK contains routines which
interface with the standard host table which all user programs
should use.
The source for the NETWRK package is NETWRK.FAI[SUB,SYS] for the
FAIL version and NETWRK.MID[NET,MRC] for the MIDAS version.
Our NCP supports extended leaders and is capable of addressing
the full range of the ARPAnet. The on-line documentation file
IMPSER.DOC[S,SYS] describes the host addressing scheme we use.
It is planned to add internet addressing capabilities eventually.
(HARDWARE)
(COMPUTER)
TYPE CORE AMOUNT CORE SPEED WORD LENGTH
KL10, KA10 917K 1-2 microsec. 36 bit
& PDP-6 shared
PDP-11/45 205K 1 microsec. 16 bit
& SPS-41 shared
(PERIPHERALS)
HOW MANY TYPE MAKE MODEL
DISKS
6 3330-11 AMPEX DDM331
TAPES
2 7 track DEC 545
4 DECtape DEC 555
PRINTERS
1 lineprinter DEC 646
1 raster Xerox XGP
1 plotter Calcomp 563
OTHER
4 TV cameras COHU and Sierra
2 mechanical arm Stanford
1 vending Rowe 147
machine
1 phone dialer Western Elec. 801C
1 phone dialer Vadic VA801
1 robot cart Stanford
controller
(TERMINALS)
HOW MANY TYPE MAKE MODEL
58 TV display Data Disc* TDS
30 remote display Datamedia 2500A
6 vector display III
3 remote display IMLAC PDS-1
5 typewriter Texas Inst. 725
2 typewriter Teletype 33
1 typewriter DEC LA-36
1 typewriter Teletype 35
* Data Disc displays view computer-generated gray-scale
images. The Data Disc controller is connected through a
video switch built at Stanford to terminals consisting of
Miratel TV monitors and Microswitch keyboards.
(OPERATING-SYSTEM)
WAITS, the SU-AI time-sharing system, is a modification and
extension of an early DEC system and is to a degree
compatible with TOPS-10. Most reasonable TOPS-10 user
programs should be runnable with only minor modification.
SU-AI is connected to the ARPAnet via the SU-TIP (see the
SU-TIP writeup for TIP access information).
(USER-PROGRAMS)
(E)
TYPE: Display text editor
CONTACT: Martin Frost (ME@SU-AI) (415) 497-4971
DESCRIPTION: E is a text editor used from local display
terminals at Stanford. It uses random access, edit-in-place
operation, so small changes to large files are done a good
deal faster than in recopying editors such as SOS or TECO.
Changes to the text within a line are made using the line
editing facilities in the timesharing monitor, which gives
fast response to editing commands since E need not be
swapped in and scheduled for these commands. E is the most
widely used text editor at SAIL.
ACCESS:
[.]etv <SP> FILENAME <CR>
NETWORK USE PARAMETERS:
Although E can be run from a terminal which is not a
local Stanford display, it is not designed for such
use; many of its facilities are not available in that
mode of operation.
Datamedia 2500 terminals (and SUPDUP terminals) are
"local Stanford displays" and enjoy E's full facilities.
DOCUMENTATION:
Online: E.ALS[UP,DOC]
(FAIL)
TYPE: PDP-10 Assembler
CONTACT: Jeff Rubin (JBR@SU-AI) (415) 497-4971
DESCRIPTION: FAIL is an extremely fast PDP-10 assembler, 5
times faster than MACRO-10. It achieves its speed by
running in one pass instead of the usual two, at a cost of
fairly large core requirements and somewhat more work
required of the loader. (It is compatible with DEC's LOADER
and LINK-10.) We also have MACRO-10 (the standard DEC
assembler), and MIDAS (MIT's assembler); however, FAIL is
the most widely used.
ACCESS:
[.]r <SP> fail <CR>
DOCUMENTATION:
FAIL Manual, AIM-226.
(Available online as FAIL.REG[AIM,DOC])
Available in hardcopy from NTIS as Stanford report
STAN-CS-74-407.
(FASBOL)
TYPE: SNOBOL compiler
CONTACT: Mike Clancy (MJC@SU-AI)
DESCRIPTION: FASBOL is a compiler for a dialect of SNOBOL 4, the
string processing language developed at Bell Labs.
ACCESS:
[.]r <SP> fasbol <CR>
DOCUMENTATION:
1. Griswold, R., The SNOBOL 4 Language, Prentice-Hall, 1971.
2. Online: FASBOL.MJC[UP,DOC]
(FOL)
TYPE: Proof Checker for First-Order Logic
CONTACT: Richard Weyhrauch (RWW@SU-AI) (415) 497-4971
DESCRIPTION: The interactive proof checker FOL (First Order
Logic) implements a version of the system of natural
deduction described by Prawitz, augmented in the following
ways: 1. It is a many-sorted first-order logic, and a
partial order over sorts may be declared, reducing the size
of formulas; 2. purely propositional deductions can be made
in a single step; 3. the truth values of assertions
involving numerical and LISP constants can be derived by
computation; 4. there is a limited ability to make
metamathematical arguments; and 5. there are many
operational conveniences.
The goal of FOL is to use formal proof techniques as
practical tools for checking proofs in pure mathematics and
proofs of the correctness of programs. It is also intended
to be used as a research tool in modeling common-sense
reasoning in the representation theory of artificial
intelligence.
ACCESS:
[.]r <SP> fol <CR>
DOCUMENTATION:
FOL Manual, AIM-235.
(HOT)
TYPE: Information retrieval system
CONTACT: Martin Frost (ME@SU-AI) (415) 497-4971
DESCRIPTION: HOT types news stories from the Associated
Press and New York Times news wires as they come in.
ACCESS:
[.]hot <CR>
DOCUMENTATION:
Online: NS.ME[UP,DOC]
(LCF)
TYPE: Proof Checker (Logic of Computable Functions)
CONTACT: Richard Weyhrauch (RWW@SU-AI) (415) 497-4971
DESCRIPTION: LCF is a proof-checking program for a logic of
computable functions proposed by Dana Scott in 1969. The
proof-checking program is designed to allow the user
interactively to generate formal proofs about computable
functions and functionals over a variety of domains,
including those of interest to the computer scientist - for
example integers, lists and computer programs and their
semantics. The user's task is alleviated by two features:
a subgoaling facility and a powerful simplification
mechanism. Applications include proofs of program
correctness and in particular of compiler correctness.
ACCESS:
[.]r <SP> lcf <CR>
DOCUMENTATION:
1. LCF Manual, AIM-169.
2. Online: LCFMAN.RGM[AIM,DOC]
(LISP)
TYPE: List processing language
CONTACT: Dick Gabriel (RPG@SU-AI) (415) 497-4971
DESCRIPTION: We have several flavors of LISP. The basic,
vanilla LISP is called LISP 1.6, and is comparable to LISP
1.5. A version with roughly the same capabilities but
M-expression (ALGOL-like) syntax is called MLISP. An
extension of MLISP with extensibility, pattern matching, and
backtracking features is called MLISP2. Another
M-expression dialect is RLISP. We also have the U.C. Irvine
extension of LISP 1.6, called ILISP, with an editor and
superior debugging facilities. In addition we have MIT's
version of LISP (MACLISP), and MICROPLANNER (PLNR)
languages. MACLISP is currently the only LISP which is
maintained.
ACCESS:
Interpreter Compiler
LISP 1.6: [.]r <SP> lisp <CR> [.]r <SP> complr <CR>
MLISP: [.]r <SP> mlisp <CR> [.]r <SP> mlispc <CR>
MLISP2: [.]r <SP> mlisp2 <CR>
RLISP: [.]r <SP> rlisp <CR>
ILISP: [.]r <SP> il <CR> [.]r <SP> ic <CR>
MACLISP: [.]lisp <CR> [.]r <SP> ncomplr <CR>
PLANNER: [.]r <SP> plnr <CR>
DOCUMENTATION:
LISP 1.6: LISP16.WD[S,DOC] SAILON 28
MLISP: MLISP.DAV[AIM,DOC] AIM-135
MLISP2: MLISP2.DAV[AIM,DOC] AIM-195
RLISP: RLISP.ACH[S,DOC] SAILON 62
ILISP: IL.TVR[UP,DOC] (from UCI)
MACLISP: LISP.RPG[S,DOC] (from MIT)
PLANNER: PLNR.RPO[UP,DOC] (from MIT)
PLNR.BGB[S,DOC] SAILON 67
(NS)
TYPE: Information retrieval system
CONTACT: Martin Frost (ME@SU-AI) (415) 497-4971
DESCRIPTION: NS retrieves news stories from the Associated
Press and New York Times news wires based on arbitrary
keyword selection. About 2 weeks worth of back news is
available online.
ACCESS:
[.]ns <CR>
DOCUMENTATION:
Online: NS.ME[S,DOC]
(PALX)
TYPE: Assembler
CONTACT: Richard Stallman (RMS@MIT-AI)
DESCRIPTION: PALX is a cross-assembler for the PDP-11, for
the most part compatible with MACRO-11, but not completely.
This version comes from MIT; a slightly different version
exists at BBN.
ACCESS:
[.]r <SP> palx <CR>
(POX)
TYPE: Document compiler / text formatter
CONTACT: Robert Maas (REM@SU-AI)
DESCRIPTION: POX takes as input an ASCII text file
intersperced with formatting commands, and outputs a file
containing text and commands to the XGP driver. In addition
to most of the usual document-compiler features it allows
exact placement of text and graphics (1/200 inch resolution)
and use of recursive macros and "overlays". An overlay is a
simulated clear-plastic sheet with text and graphics
permanently embedded in it. Overlays can be created,
measured in x and y extent, or'd together with any
specified/computed x,y offset, and outputted as if they were
large characters. Their major use is constructing very
complicated mathematical formulas. POX does not allow
forward-references because it is one-pass.
ACCESS:
[.]pox <SP> OUTPUT-FILE ← INPUT FILE <CR>
This is used to compile and print a document on our local XGP.
Remote users should not do this. POX is available for export.
DOCUMENTATION:
Online: POX.REM[UP,DOC]
(PROVER)
TYPE: Theorem Prover
CONTACT: David Luckham (DCL@SU-AI) (415) 497-4971
DESCRIPTION: PROVER is an implementation of a
resolution-based first-order theorem prover. The basic
philosophy and structure of this program were described in
"An Interactive Theorem-proving Program", by Allen and
Luckham, MIT (1970). The user is supplied with a reasonably
standard mathematical notation for specifying the problem
and a simple language for describing the strategies to guide
the proof. The user may interrupt the proof search at any
time and use the online facilities to further guide the
prover. The online editor allows the user to associate
names with collections of deductions. The collecting can be
done by pattern matching or by explicit user-selection.
These collections can then be used by: commands to modify
the current set of deductions (delete, simplify by...);
rules of inference (resolution, or paramodulation); or by
commands to initiate sub-proofs.
ACCESS:
[.]r <SP> prover <CR>
DOCUMENTATION:
PROVER Manual, SAILON 73.
(PUB)
TYPE: Text formatter
CONTACT: Les Earnest (LES@SU-AI) (415) 497-4202
DESCRIPTION: A versatile text justifier. Automatic table
of contents and index generation. Multiple columns, all the
better things. Program is slow and uses large core images
to boot, but powerful. PUB is the text formatter everybody
loves to hate.
ACCESS:
[.]pub <SP> FILENAME <CR>
DOCUMENTATION:
1. PUB.TES[S,DOC] (SAILON 70)
1. PUB.UPD[S,DOC]
(SAIL)
TYPE: Extended-ALGOL language
CONTACT: Les Earnest (LES@SU-AI) (415) 497-4202
DESCRIPTION: SAIL is a superset of ALGOL 60. It also
includes coroutine features, machine language capability,
records and references, and other bells and whistles too
numerous to mention.
ACCESS:
To run the SAIL compiler, type:
[.]r <SP> sail <CR>
DOCUMENTATION:
1. SAIL Manual, AIM-289.
2. SAIL Tutorial, AIM-290.
Available in hardcopy from NTIS as Stanford reports
STAN-CS-76-574 and STAN-CS-76-575.
3. Online: SAIL.JFR[AIM,DOC].
Update: SAIL.UPD[AIM,DOC].
WARNING: the SAIL manual is a very long document.
(SPELL)
TYPE: Spelling Checker and Corrector
CONTACT: Ralph Gorin (REG@SU-AI)
DESCRIPTION: Checks a text file against a standard or
user-supplied dictionary, correcting errors (with a little
help from the user).
ACCESS:
[.]r <SP> spell <CR>
DOCUMENTATION:
Online: SPELL.REG[UP,DOC]
(SOS)
TYPE: Text editor
CONTACT: Les Earnest (LES@SU-AI) (415) 497-4202
DESCRIPTION: SOS is a Teletype-oriented (i.e. non-display),
line-oriented text editor. Similar to DEC's LINED but
better.
ACCESS:
[.]r <SP> sos <CR>
or
[.]edit <SP> FILENAME <CR>
DOCUMENTATION:
SOS.LES[S,DOC] SAILON 50
(INTERESTS)
Current interests of the Stanford Artificial Intelligence
Lab. center around research on artificial intelligence,
including computer vision, hand-eye systems, natural
language understanding, program verification, and automatic
programming. Also of interest are mathematical theory of
computation and computer music. A recent project is the
Dialnet project, involving data communication using ordinary
phone lines, and the design and implementation of protocols
to accomplish this task. In addition, we are developing an
operating system for the S-1, a new multi-processing system
being developed at Lawrence Livermore Labs.
(DOCUMENTATION)
(REFERENCES)
The following bibliographies are available online at SU-AI:
SAILON[BIB,DOC] Annotated bibliography of SU-AI
operating notes
AIMS[BIB,DOC] Abstract of recent SU-AI research memos
AIMS.OLD[BIB,DOC] Same as above, but older
FILMS[BIB,DOC] Abstracts of SU-AI film reports
THESES[BIB,DOC] List of theses published by SU-AI
PUBS[BIB,DOC] External articles/books by SU-AI staff
PUBS.OLD[BIB,DOC] Same as above, but older
MTCBIB[BIB,DOC] Bibliography of articles dealing with
mathematical theory of computation
The following file directories contain complete documents:
[S,DOC] Text of some SAILONs (operating notes)
[AIM,DOC] Text of some AIMs (AI Memos)
[UP,DOC] Text of informal program documentation
The main sources of WAITS documentation are the Monitor
Command Manual, SAILON 54.5, and the UUO Manual, SAILON
55.5. These are available to users from Documentation
Services at the laboratory, or online as:
MONCOM.BH[S,DOC] and MONCOM.UPD[S,DOC]
UUO.ME[S,DOC] and UUO.UPD[S,DOC].
NOTE: These are VERY long files!
To find online documentation about a particular program, type:
[.]help <SP> PROGRAM-NAME <CR>
This write-up for the ARPAnet Resource Handbook is online at
SU-AI as SUAI.TXT[NET,MRC].
Other useful features:
Type: [.] directory <SP> [PRJ,PRG] to list a directory
Type: [.] type <SP> FILENAME[PRJ,PRG] to type out a file
NOTE: These commands can be given when not logged in.
(ORDER-INFORMATION)
Some AI memos and program documentation are available from:
Documentation Services
Artificial Intelligence Lab.
Stanford University
Stanford, CA 94305
or by network mail to PAT@SU-AI.
Documents which are out of print locally may be obtained from:
National Technical Information Service
US Department of Commerce
5285 Port Royal Road
Springfield, VA 22161
Information on getting memos from NTIS is available from
Documentation Services, as above.
Recent AI Memos are available in microfiche format.